Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
81	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
82	Near Field filters for Higher Order Ambisonics Fons ADRIAENSEN Abstract A digital implementation of the near-field filters Add to Reading List Source URL: users.skynet.be Language: English - Date: 2006-07-20 18:33:33 Engineering Electrical engineering Filter theory Telecommunications engineering Digital signal processing Linear filters Electronic design Signal processing filter Digital filter Electronic filter Filter Bilinear transform
83	An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß∗ Christian Wirth† Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Data types Object-oriented programming Type theory Cross-platform software Immutable object JavaScript Const Method Java
84	DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Functional languages Programming language implementation Generalized algebraic data type Syntax Domain-specific language Haskell
85	N.23 AugustLorenzo Sacconi A Rawlsian View of CSR and the Game Theory of its Implementation (Part II): Add to Reading List Source URL: www.econometica.it Language: English - Date: 2012-04-24 06:12:56
86	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
87	Background Theory and Implementation Numerical tests Add to Reading List Source URL: www.trip.caam.rice.edu Language: English - Date: 2013-04-19 07:31:18
88	Microsoft Word - OOPSLA_DSM07_Paper_v14.doc Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2007-11-15 12:21:17 Software engineering Computing Computer programming Programming language implementation Compiler optimizations Information flow Information theory Interpreter Variable Verilog For loop Control flow
89	Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil Marc Feeley Add to Reading List Source URL: andykeep.com Language: English - Date: 2015-09-01 05:05:21 Compiler construction Programming language implementation Compiler optimizations Object-oriented programming languages Type theory Compiler Just-in-time compilation Interpreter Type inference Objective-C Static single assignment form C
90	arXiv:1207.3510v2 [cs.CV] 18 DecHMRF-EM-image: Implementation of the Hidden Markov Random Field Model and its Expectation-Maximization Algorithm Quan Wang Signal Analysis and Machine Perception Laboratory Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-12-19 20:29:27 Estimation theory Image segmentation Expectationmaximization algorithm Canny edge detector Statistics Applied mathematics Image processing Artificial intelligence Computer vision Generalised Hough transform

UPDATE